扫一扫
关注中图网
官方微博
>
关于“[法]简-埃蒙德·阿布瑞尔...”检索到 共1种现货商品
-
EVENT-B建模:系统和软件工程
¥100.6(7.8折)定价:¥129.0这本实用的教科书适用于形式化方法的入门课程或不错课程。本书以B形式化方法的一个扩展Event-B作为工具，展示了一种完成系统建模和设计的数学方法。 简-埃蒙德·阿布瑞尔（Jean-Raymond Abrial）是靠前有名计算机科学家，曾任苏黎世联邦理工学院客座教授，他基于精化的思想提出了一种系统化的方法，教读者如何逐步构造出所期望的模型，并通过严格的证明完成对所构造模型做系统化的推理。本书将介绍如何根据实际需要去构造各种程序，以及如何
